Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
351	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
352	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
353	Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-01-14 11:26:18 Computer programming Lambda calculus Logic in computer science Gossip protocol Network architecture Combinatory logic OCaml Peer-to-peer Chord Computing Distributed data storage Software
354	UTP Theories of Undefinedness Jim Woodcock & Victor Bandur University of York UTP Symposium, Paris: 27 August Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 02:26:18 Computability theory Formal methods Model theory Models of computation Lambda calculus Predicate Interpretation Function Primitive recursive function Logic Mathematical logic Mathematics
355	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
356	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
357	Microsoft Word - Ocken, Why students fail calculus.htm Add to Reading List Source URL: www.nychold.com Language: English - Date: 2014-04-03 09:28:27 Calculus Function Lambda calculus Expression Derivative Integral Mathematical fallacy Inverse function Substitution Mathematics Mathematical analysis Functions and mappings
358	Microsoft PowerPoint - Algebra Unifies Operational Calculi Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 04:35:20 Applied mathematics Lambda calculus Process calculi Computer science Theoretical computer science Process calculus Mathematics
359	A cubical set model of type theory Thierry Coquand (j.w.w. Marc Bezem and Simon Huber) TYPES, May 12, 2014 A cubical set model of type theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-13 04:25:19 Category theory Simplicial set Lambda calculus Constructible universe Algebraic topology Homotopy theory Mathematics
360	Hedging Your Bets: Optimizing Accuracy-Speciﬁcity Trade-offs in Large Scale Visual Recognition Supplementary Material Jia Deng1,2 , Jonathan Krause1 , Alexander C. Berg3 , Li Fei-Fei1 Stanford University1 , Princeton U Add to Reading List Source URL: vision.stanford.edu Language: English - Date: 2012-04-19 15:39:54 Measure theory Support Operator theory Ordinary differential equations Linear algebra Spectral theory of ordinary differential equations Lambda calculus Mathematical analysis Spectral theory Mathematics

UPDATE